Uniformity, universality, and computability theory
نویسندگان
چکیده
منابع مشابه
Uniformity, Universality, and Computability Theory
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened ...
متن کاملUniformity, Universality, and Recursion Theory
We prove a number of results motivated by global questions of uniformity in recursion theory, and some longstanding open questions about universality of countable Borel equivalence relations. Our main technical tool is a class of games for constructing functions on free products of countable groups. These games show the existence of refinements of Martin’s ultrafilter on Turing invariant sets t...
متن کاملComputability Theory
0. INTRODUCTION. Computability is perhaps the most significant and distinctive notion modern logic has introduced; in the guise of decidability and effective calculability it has a venerable history within philosophy and mathematics. Now it is also the basic theoretical concept for computer science, artificial intelligence and cognitive science. This essay discusses, at its heart, methodologica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2017
ISSN: 0219-0613,1793-6691
DOI: 10.1142/s0219061317500039